National  scale  CO2 inverse  modelling:   A  New  Zealand  case  study Sara  E.  Mikaloff  Fletcher1,  Kay  Steinkamp1,  Gordon  Brailsford1,  Dan  Smale1,  Zoe  

Source URL: www.icdc10.unibe.ch

Dexter’s Gordon Hall Days Steam-up At the suggestion of Dan and Gail Samuels, MSSLS was invited to participate in Dexter’s annual event, this year celebrating the 175th year since the arrival of Michigan Central RR i

Source URL: www.mssls.info

JavaUI : Effects for Controlling UI Object Access Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu Abstract. Most graphical user

Source URL: www.cs.drexel.edu

Static Lock Capabilities for Deadlock Freedom ∗ Colin S. Gordon Michael D. Ernst Dan Grossman

Source URL: www.cs.drexel.edu

JavaUI: Effects for Controlling UI Object Access Colin S. Gordon, Werner M. Dietl, Michael D. Ernst, Dan Grossman University of Washington https://github.com/csgordon/javaui

Source URL: www.cs.drexel.edu

Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu

Source URL: homes.cs.washington.edu

• Mathematical logic
• Logic
• Theoretical computer science
• Logic in computer science
• Semantics
• Heap
• Predicate
• Immutable object
• Separation logic
• First-order logic
• Control
• FO

Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013

Source URL: www.cs.drexel.edu

Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu

Source URL: www.cs.drexel.edu

JavaUI : Effects for Controlling UI Object Access (Extended Version)? Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu

Source URL: homes.cs.washington.edu

• Computing
• Software engineering
• Type theory
• Data types
• Java
• Object-oriented programming
• Swing
• Type system
• Polymorphism

Rely-Guarantee References for Refinement Types Over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu

Source URL: www.cs.drexel.edu